|
|
1.
自适应软件动态过程时间特性建模与验证方法
韩德帅, 邢建春, 杨启亮, 李决龙
计算机应用
2018, 38 (3):
799-805.
DOI: 10.11772/j.issn.1001-9081.2017081992
现有自适应软件建模与验证方法较少考虑时间约束，然而，在时间攸关应用领域，自适应软件能否正确运行，不仅要考虑自适应逻辑的正确性，还要考虑自适应软件动态过程的时间特性。为此，首先显式定义了自适应软件的时间特性（监控周期、延迟触发时间、自适应过程截止时间、自适应调节时间和稳定时间等）；然后，构造了一种基于时间自动机网络（TAN）的自适应软件动态过程时间特性建模模板；最后，将自适应软件时间特性描述为定时计算树逻辑（TCTL）的形式，并对时间特性进行了形式化分析和验证。结合具体案例验证了该自适应软件时间特性建模和验证方法，结果表明该方法能够显式刻画自适应软件时间特性，降低其形式化建模的难度。
参考文献 |
相关文章 |
多维度评价
|
|
